Suchergebnis

• Argument and inference an introduction to inductive logic Johnson, Gregory Cambridge, Massachusetts ; London, England : The MIT Press, 2016

• Baumorientierte Regel-Induktionsstrategie für das ROSA-Verfahren zur Modellierung komplexer dynamischer Systeme Fritsch, Martin Als Ms. gedr., Düsseldorf : VDI-Verl., 1996

• The divine lawmaker lectures on induction, laws of nature, and the existence of God Foster, John Oxford : Clarendon Press, 2004

• Mechanizing Inductive Theorem Proving in Conditional Theories Fraus, Ulrich Als Ms. gedr., Düsseldorf : VDI-Verl., 1995